• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۵ پاسخ غیر تکراری از ۵ پاسخ تکراری در مدت زمان ۰,۶۶ ثانیه یافت شد.

1. The computational complexity of logical theories

پدیدآورنده: Ferrante, Jeanne

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
no
.
718
مشاهده در قفسه مجازی RIS Bibtex ISO

2. The computational complexity of logical theories

پدیدآورنده: Ferrante, Jeanne

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
no
.
718
مشاهده در قفسه مجازی RIS Bibtex ISO

3. The computational complexity of logical theories

پدیدآورنده: Jeanne Ferrante, Charles W. Rackoff

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
3
.
L28
Vol
.
718
مشاهده در قفسه مجازی RIS Bibtex ISO

4. The computational complexity of logical theories

پدیدآورنده: Ferrante, Jeanne

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع: ، Predicate calculus,، Computational complexity

رده :
QA
1
.
L4
v
.
718
مشاهده در قفسه مجازی RIS Bibtex ISO

5. The computational complexity of logical theories

پدیدآورنده: / Jeanne Ferrante, Charles W. Rackoff

کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)

موضوع: Predicate calculus,Computational complexity

رده :
QA
9
.
35
.
F4
1979
مشاهده در قفسه مجازی RIS Bibtex ISO
  • »
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال